Arthur Prior and medieval logic
نویسندگان
چکیده
منابع مشابه
Arthur Prior and Hybrid Logic
Contemporary hybrid logic is based on the idea of using formulas as terms, an idea invented and explored by Arthur Prior in the mid 1960s. But Prior’s own work on hybrid logic remains largely undiscussed. This is unfortunate, since hybridisation played a role that was both central to and problematic for his philosophical views on tense. In this paper I introduce hybrid logic from a contemporary...
متن کاملArthur Prior and 'Now'
On the 4th of December 1967, Hans Kamp sent his UCLA seminar notes on the logic of ‘now’ to Arthur N. Prior. Kamp’s two-dimensional analysis stimulated Prior to an intense burst of creativity in which he sought to integrate Kamp’s work into tense logic using a one-dimensional approach. Prior’s search led him through the work of Castañeda, and back to his own work on hybrid logic: the first made...
متن کاملArThUR: A Tool for Markov Logic Network
Logical approaches-and ontologies in particular-offer a welladapted framework for representing knowledge present on the Semantic Web (SW). These ontologies are formulated in Web Ontology Language (OWL2), which are based on expressive Description Logics (DL). DL are a subset of First-Order Logic (FOL) that provides decidable reasoning. Based on DL, it is possible to rely on inference mechanisms ...
متن کاملReichenbach, Prior and hybrid tense logic
In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it eas...
متن کاملAnd Arthur
Similarity is a focal idea in cognitive theory. It is used to help explain conceptual structure, transfer of learning, generalization, and other basic phenomena. Despite its importance no satisfactory process model for similarity has yet been proposed. Previous work has generally assumed that similarity requires a simple measurement of mental distance or a straightforward count of matching and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2011
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-011-9943-3